1971 Spring Symposium Speakers Directory

Symposium on the Foundations of Mathematics ( 1971 )

The following remarks on the problems in the foundations of mathematics should serve to situate the Symposium on the Foundations of Mathematics in volume 23 of Dialectica, which was initiated by Erwin Engeler and me at the suggestion of Mr. Gonseth, who briefly introduced it in the editorial of that volume. Since the discussions in the twenties, in which the problems in the foundations of mathe...

2003 AAAI Spring Symposium Series

■ Agent-Mediated Knowledge Management ■ Computational Synthesis: From Basic Building Blocks to High-Level Functions ■ Foundations and Applications of Spatiotemporal Reasoning (FASTR) ■ Human Interaction with Autonomous Systems in Complex Environments ■ Intelligent Multimedia Knowledge Management ■ Logical Formalization of Commonsense Reasoning ■ Natural Language Generation in Spoken and Written...

AAAI 2006 Spring Symposium Reports

Different notions of argument historically have played a central role in artificial intelligence to model the diagnostic reasoning and decision making of medical experts. However, it was beyond the scope of that research to address information needs of the layperson. It was assumed that a medical expert, trained to interpret explanations produced by a system, would mediate between system and la...

AAAI 1997 Spring Symposium Reports

covery in databases and attempt to formulate the potential role of various AI subdisciplines in KM. Those attending represented a wide range of industries and areas relevant to AI research and application. The symposium began with keynote addresses on industrial requirements for KM by Vince Barabba of General Motors and Rob van der Spek of CIBIT. The remainder of the meeting was devoted to inte...

2010 Spring Symposium – Poster Presentations